Łukasiewicz Propositional logicでの証明はNatural-rule Systemでの証明に変換可能(古典的命題論理)
#古典的命題論理
#構文論(古典的命題論理)
#テーゼ
Natural-rule System
,
Łukasiewicz Propositional logic
逆
Natural-rule Systemでの証明はŁukasiewicz Propositional logicでの証明に変換可能(古典的命題論理)